Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
961	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory
962	OBSERVAL-Net on-line line debate 17Sep-04Oct 17Sep FR Summary Assessment is central to the validation Add to Reading List Source URL: www.observal-net.eu Language: English - Date: 2014-02-10 04:53:22 Philosophy Mathematical logic Arguments Mathematical proof Proof theory Proof Argument Epistemology Logic Critical thinking Mathematics
963	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-02-06 17:05:29 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic
964	1 Our Knowledge of Mathematical Objects I have recently been attempting to provide a new approach to the philosophy of mathematics, which I call ‘procedural postulationism’. It shares with the traditional form of pos Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2007-11-30 17:05:49 Model theory Axiom Z notation Interpretation New Foundations Philosophy of mathematics Logicism S Mathematical proof Mathematics Mathematical logic Logic
965	Typesetting Math in Texts Basic math Whenever you typeset mathematical notation, it needs to have “Math” style. For example: If a is an integer, then 2a + 1 is odd. Superscripts and subscripts are created using the c Add to Reading List Source URL: www.texts.io Language: English - Date: 2014-09-20 06:23:27 Floor and ceiling functions Mathematical notation Derivative Ordinary differential equations Proof that π is irrational Linear differential equation Mathematical analysis Mathematics Calculus
966	OUP CORRECTED PROOF – FINAL, [removed], SPi IV CONTINGENT OBJECTS AND COINCIDENT Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2013-04-12 15:30:56 Accessibility relation Linguistic modality Possible world S5 Modal operator Counterpart theory Interpretation Logic Mathematical logic Modal logic
967	Marc Lange University of North Carolina at Chapel Hill [removed] Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘acc Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2013-10-10 19:15:11 Coincidence Mathematical proof Pi Number Mathematical induction Parity Logarithm Mathematics Mathematical logic Mathematical coincidence
968	Why proofs by mathematical induction are generally not explanatory MARC LANGE Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sha Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2013-10-10 19:12:39 Mathematical logic Proof theory Mathematical proofs Logical consequence Philosophy of science Mathematical induction Philosophy of mathematics Models of scientific inquiry Mathematical fallacy Mathematics Logic Science
969	Volume 8, Number 4 April 2014 www.thereasoner.org ISSN[removed]Contents Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2014-03-31 07:11:26 Philosophical logic Philosophy of mathematics Arguments Critical thinking Fuzzy logic Many-valued logic Proof theory Intuitionism Argumentation theory Logic Mathematical logic Non-classical logic
970	On a semilinear variational problem Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2013-12-05 22:43:41 Distribution Γ-convergence Proof theory Mathematical analysis Functional analysis Calculus of variations

UPDATE